Trefferliste "Verification And Model Checking" - alle Bücher

Ihre Suche nach "Verification And Model Checking" (Bücher) ergab 5 Treffer.

Ansicht:

Verification, Model Checking, and Abstract Interpretation

The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, …

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 63,51

Verification, Model Checking, and Abstract Interpretation

The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, …

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 63,51

Günter Fischer
Der Bau der Cheops-Pyramide

Seit Jahrhunderten schon versuchen Wissenschaftler die Frage zu beantworten, wie die Ägypter es geschafft haben, mit den ihnen damals zur Verfügung stehenden einfachen Mitteln 2,32 Millionen Steine in ein…

lieferbar ab 15.9.2025.
Buch
Aktueller Preis: EUR 24,00

Peter Welchering
Journalistische Praxis: Digitale Recherche

Für die Recherche im Netz und für die Faktenprüfung stehen jedem Journalisten professionelle Werkzeuge zur Verfügung. Oft sind die als Open-Source-Software oder als kostenlose Web-Angebote nutzbar. Auch d…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 14,99

Application and Theory of Petri Nets and Concurrency

This book constitutes the proceedings of the 45th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2024, held in Geneva, Switzerland, during June 26-28, 2024.Th…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 131,42
Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.